// Copyright 2021 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

var input = document.getElementById('stage');
input.value += "document_idle/";
document.title = "document_idle";
